$\vdash$  $\forall$$b$:$\mathbb{B}$. bool{-}decider($b$) $\in$ Dec($\uparrow$$b$)